เมนูนำทาง Logical consequence คำอธิบายเชิงรูปนัย ดูเพิ่ม คำอธิบายเชิงอัญรูป คุณสมบัติก่อนประสบการณ์ของผลพวงเชิงตรรกะ อ้างอิง การพิสูจน์และตัวแบบ